package edu.purdue.cs505;

public interface ReliableBroadcast
{
  void init(Process currentProcess); // initiate broadcast channel

  void addProcess(Process p); // add process to the group

  void rbroadcast(Message m); // broadcast message

  void rblisten(BroadcastReceiver m); // receiver callback for delivering messages
  
  void halt();
}
